1. Applications of process algebra
پدیدآورنده : / edited by J.C.M. Baeten. -
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer science--Mathematics,Computer network protocols.,Axiomatic set theory.
رده :
QA
,
76
.
9
,.
M35
,
A6
,
1990
2. Applications of process algebra
پدیدآورنده : / J.C.M. Baeten
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Machine theory.,Computer science--Mathematics.,Computer network protocols.,Axiomatic set theory.
رده :
QA
267
.
A67
2004
3. Discrete mathematical structures
پدیدآورنده : Rao, H.S.G.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics ، Computer science,، Mathematics,، Set theory
رده :
QA
76
.
9
.
M35
R36
2004
4. Discrete structures
پدیدآورنده : Gupta, Satinder Bal
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Set theory,، Functions,، Graph theory,، Algebra
رده :
QA
76
.
9
.
M35G86
5. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
6. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
